Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
951	Errata for “Filters on Posets and Generalizations” [1] Proposition 7: “Every co-brouwerian lattice has least element” → “Every non-empty co-brouwerian lattice has least element”. T Proof of theorem 17: (a \ Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2014-01-14 20:44:40 Order theory Algebraic structures Algebra Distributive lattice Theorem Mathematical proof Lattice Prime number Boolean prime ideal theorem Mathematics Logic Lattice theory
952	Pointfree funcoids as a generalization of frames by Victor Porton Email: [removed] Web: http://www.mathematics21.org August 29, 2013 Abstract Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2013-11-08 07:27:31 Structure Topology General topology Category theory Filter Boolean algebra Lattice Complete Heyting algebra Pointless topology Order theory Mathematics Algebraic structures
953	TOWARDS A THEORY OF CAUSAL IMPLICATION Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Propositional calculus Boolean algebra Semantics Formal systems Negation Axiom Tautology Rule of inference Vacuous truth Logic Mathematical logic Mathematics
954	always more Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne [removed] Add to Reading List Source URL: www.consequently.org Language: English - Date: 2010-11-15 08:48:37 Boolean algebra Modal logic Semantics Proposition Negation Tautology Possible world Contingency Atomic formula Logic Mathematical logic Propositional calculus
955	TOWARDS A THEORY OF CAUSAL IMPLICATION Alexander Stepanov Department of Electrical Engineering and Computer Science Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Propositional calculus Boolean algebra Semantics Formal systems Negation Axiom Tautology Vacuous truth Rule of inference Logic Mathematical logic Mathematics
956	Microsoft PowerPoint - session.16-18_a.ppt [Compatibility Mode] Add to Reading List Source URL: www.cool-ai.com Language: English - Date: 2008-11-19 00:39:09 Rules of inference Propositional calculus Automated theorem proving Boolean algebra Ground expression First-order logic Modus ponens Resolution Function Logic Mathematical logic Mathematics
957	PDF Document Add to Reading List Source URL: www.dingli.org Language: English - Date: 2013-11-05 03:23:12 Variables Boolean algebra Mathematics Algebra Logical syntax
958	Nested Venn Diagrams Nicholas J. Radcliffe Stochastic Solutions Limited & Department of Mathematics and Statistics, University of Edinburgh [removed] Add to Reading List Source URL: stochasticsolutions.com Language: English - Date: 2010-02-25 04:40:35 Communication design Graphic design Venn Carroll diagram Set A. W. F. Edwards Boolean algebra Spider diagram Euler diagram Diagrams Mathematics Venn diagram
959	Form Methods Syst Des[removed]: 167–194 DOI[removed]s10703[removed]z Causal semantics for the algebra of connectors Simon Bliudze · Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Boolean algebra Mathematics Structure Process calculus Interaction D-subminiature
960	i i Mladen Paviˇci´ c: Companion to Quantum Computation and Communication — Add to Reading List Source URL: www.wiley-vch.de Language: English - Date: 2013-03-25 07:54:23 Computability theory Theory of computation Models of computation Mathematical logic Quantum computer Turing machine Boolean algebra Algorithm Hypercomputation Theoretical computer science Mathematics Applied mathematics

UPDATE